<?
session_start();
session_cache_limiter('private');
session_cache_expire(60*12);

unset($_SESSION["uid"]);
unset($_SESSION["true_name"]);
unset($_SESSION["user_flag"]);
header("location:index.php");

?>